relation between irreflexive and asymmetric relation